Sei A eine symmetrische, reelle (n times n)-Matrix. Dann besitzt sie n nichttriviale, paarweise verschiedene, zueinander orthogonale Eigenvektoren, d.h. es gibt eine Orthonormalbasis... Gefunden auf https://mo.mathematik.uni-stuttgart.de/inhalt/aussage/aussage362/